{{{ Reopen 0.5
Source: Source code is in Git with the tag reopen-0.5
Announcement: German translation added
Requires Java 1.6
Requires jEdit 05.00.99.00
Short Description: The Reopen plugin provides a "reopen" action for reopening
recently closed buffers, much like web-browsers reopen tabs.
Long Description: <html>
<p>The Reopen plugin provides a "reopen" action
for reopening recently closed buffers, much like web-browsers reopen tabs.</p>
<p>Contents of dirty buffers are saved.</p>
<p>History, buffer-local properties are not saved.</p>
</html>
}}}
| Submitted | kerik-sf - 2016-03-04 18:34:07.102000 | Assigned | |
|---|---|---|---|
| Priority | 5 | Labels | |
| Status | open | Group | None |
| Resolution | None |